reduction machine

См. также в других словарях:

• Graph reduction machine — A graph reduction machine is a special purpose computer built to perform combinator calculations by graph reduction.Examples include the SKIM ( S K I machine ) computer, built at the University of Cambridge Computer Laboratory, and the… …   Wikipedia

• Reduction (complexity) — Example of a reduction from a boolean satisfiability problem to a vertex cover problem. Blue vertices form a vertex cover which corresponds to truth values. In computability theory and computational complexity theory, a reduction is a… …   Wikipedia

• Machine vision optical filters — are optical filters used in machine vision applications.Choosing the correct optical filter for machine visionMany of those developing machine vision applications know that considerable emphasis has been placed on choosing the correct lighting to …   Wikipedia

• Machine De Turing — Pour les articles homonymes, voir Turing (homonymie). Une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur et sa mémoire, créé par Alan Turing en vue de donner une définition précise …   Wikipédia en Français

• Machine de turing — Pour les articles homonymes, voir Turing (homonymie). Une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur et sa mémoire, créé par Alan Turing en vue de donner une définition précise …   Wikipédia en Français

• Machine a papier — Machine à papier Une machine à papier est la technologie essentielle de l industrie papetière puisque c est elle qui produit le papier, généralement sous forme de bobines très volumineuses, à partir de la pâte à papier. Elle se compose de… …   Wikipédia en Français

• Machine À Papier — Une machine à papier est la technologie essentielle de l industrie papetière puisque c est elle qui produit le papier, généralement sous forme de bobines très volumineuses, à partir de la pâte à papier. Elle se compose de différentes… …   Wikipédia en Français

• Machine à Pistons Rotatifs à Battement Contrôlé — Les Machines à Pistons Rotatifs à Battement Contrôlé (MPRBC) sont une nouvelle architecture de moteur à combustion interne (convertible en pompe). Elles utilisent les rotations alternées d un nombre pair de pistons rotatifs contigus, contrôlées… …   Wikipédia en Français

• Reduction (recursion theory) — In computability theory, many reducibility relations (also called reductions, reducibilities, and notions of reducibility) are studied. They are motivated by the question: given sets A and B of natural numbers, is it possible to effectively… …   Wikipedia

• machine — (ma chi n ) s. f. 1°   Instrument propre à communiquer du mouvement, ou à saisir et prendre, ou à mettre en jeu quelque agent naturel, comme le feu, l air, l eau, etc. Une collection, un cabinet de machines. •   Elle [l alouette] avait évité la… …   Dictionnaire de la Langue Française d'Émile Littré

• MACHINE — s. f. Engin, instrument propre à faire mouvoir, à tirer, lever, traîner, lancer quelque chose, ou à mettre en jeu quelque agent naturel, comme le feu, l air, l eau, etc. Grande machine. Machine admirable, merveilleuse. Nouvelle machine. Machine… …   Dictionnaire de l'Academie Francaise, 7eme edition (1835)